\frame
{
  \frametitle{FindBugs algorithm details}
  \B
  \item Detectors in first AnalysisPass
 applied to not only application classes but also
 {\em referenced} classes
    \B
    \item E.g., collect annotations in referenced
          classes/methods so uses can be checked
    \E
  \item {\em Databases} can be used to convey information
        between analysis passes
    \B
    \item Detector in earlier pass creates and populates database,
          detector in later pass retrieves information
    \E
  \E
}
